function previous_page(){
	window.history.back(); 
}

















